تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۷۱ ثانیه یافت شد.

1. Teaching and learning formal methods

پدیدآورنده: / edited by C. Neville Dean and Michael G. Hinchey

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Development -- Study and teaching,System design -- Study and teaching

رده :

QA

76

.

9

.

S88T4

1996

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است